TSTP Solution File: ITP131^2 by Nitpick---2016